| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| config.ps | Text File | 83 | 2KB | 1993-04-25 |
| makefile.os2 | Makefile | 281 | 9KB | 1993-04-25 |
| maketexp.cmd | OS/2 REXX Batch file | 52 | 1KB | 1993-04-25 |
| readme.os2 | Text File | 103 | 4KB | 1993-04-25 |
| texc.sh | Linux/UNIX/POSIX Shell Script | 11 | 375b | 1993-04-25 |